problems in dfa